/*
type int
parse nna 17
parse nab 6
parse naab 8
*/

/* reallocating coords list used to break old pointers */

S ← "n"+ a:A &{ a.col > 2 } → 17
  / "n"+ a:A &{ a.col < 3 } b:B → { a.col * b.col }

A :: struct _pacc_coord ← "a"+ → { _pacc_coords(_pacc, _x) }
B ← "b"+ → { _pacc_coords(_pacc, _x) }

